The Free On-line Dictionary of Computing (30 December 2018):

Abstract Machine Notation

    (AMN) A language for specifying abstract machines
   in the B-Method, based on the mathematical theory of
   Generalised Substitutions.

   (1995-03-13)